package edu.gatech.cc.concolic.bytecode;

import static edu.gatech.cc.concolic.Concolic.executionStrategy;
import gov.nasa.jpf.jvm.KernelState;
import gov.nasa.jpf.jvm.SystemState;
import gov.nasa.jpf.jvm.ThreadInfo;
import gov.nasa.jpf.jvm.bytecode.Instruction;

public class IF_ICMPEQ extends gov.nasa.jpf.jvm.bytecode.IF_ICMPEQ {

	@Override
	public Instruction execute(SystemState ss, KernelState ks, ThreadInfo th) {
		executionStrategy.execute(this, th.getTopFrame());
		return super.execute(ss, ks, th);
	}
}